exact length of a curve